From: Jasper St. Pierre <jstpierre@mecheye.net>
Date: Thu, 23 Jan 2014 19:38:31 +0000 (-0500)
Subject: gnome-shell-extension-prefs: Fix warnings
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~2882
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=a739455414f6c7ab7896c56e009cdf9bcdd785bb;p=gnome-shell.git

gnome-shell-extension-prefs: Fix warnings
---

diff --git a/src/gnome-shell-extension-prefs.c b/src/gnome-shell-extension-prefs.c
index fefa3be48..75f687e7f 100644
--- a/src/gnome-shell-extension-prefs.c
+++ b/src/gnome-shell-extension-prefs.c
@@ -1,10 +1,13 @@
+/* -*- mode: C; c-file-style: "gnu"; indent-tabs-mode: nil; -*- */
+
 #include "config.h"
 
 #include <girepository.h>
 #include <gjs/gjs.h>
+#include <glib/gi18n.h>
 
 int
-main (int argc, char *argv)
+main (int argc, char *argv[])
 {
   const char *search_path[] = { "resource:///org/gnome/shell", NULL };
   GError *error = NULL;